#include<bits/stdc++.h>
using namespace std;
inline int read(){
	int x=0;bool f=0;char ch=getchar();
	while(ch<'0'||ch>'9')f^=(ch=='-'),ch=getchar();
	while('0'<=ch&&ch<='9')x=(x<<1)+(x<<3)+(ch^48),ch=getchar();
	return f?-x:x;
}
const int mod=2;
int C[5005][5005];
inline void init(int N){
	
	for(int i=1;i<=N;i++){
		int cnt=0;
		printf("f[%d]:",i);
		for(int j=i;j;j--){
			cnt+=((i&j)==j);
			printf("[%d,%d] ",j,cnt);
		}puts("");
	}
	
	
//	for(int i=0;i<=N;i++)C[i][0]=1;
//	for(int i=1;i<=N;i++)
//		for(int j=1;j<=i;j++)C[i][j]=(C[i-1][j]+C[i-1][j-1])%mod;
//	for(int i=0;i<=N;i++)
//		for(int j=0;j<=N;j++)if(C[i][j])printf("C[%d][%d]=%d\n",i,j,C[i][j]);
}
int main(){
//	freopen(".in","r",stdin);
	freopen("biao.out","w",stdout);
	int n=read();
	init(n);
	return 0;
}

